package resolution;

import java.io.Serializable;
import java.util.Comparator;

import proposition.Literal;

public class LiteralComparator implements Comparator<Literal>, Serializable {

	private static final long serialVersionUID = 8899102048005221323L;

	@Override
	public int compare(Literal l1, Literal l2) {
		return l1.compareTo(l2);
	}

}
